]> dgit.raspbian.org Git - gnome-shell.git/commit
extensions-tool: Add common option to silence errors
authorFlorian Müllner <fmuellner@gnome.org>
Sat, 14 Mar 2020 11:58:04 +0000 (12:58 +0100)
committerFlorian Müllner <fmuellner@gnome.org>
Sun, 5 Apr 2020 11:42:50 +0000 (13:42 +0200)
commitf5a170ce46be439be7c5a63446d486a0e2e75012
treeee58f8d9f3db47179115ed6abd02465d4d2ce060
parentfbd6beea2c514f9b8f49aec95bcd9e0c8f0cd9fc
extensions-tool: Add common option to silence errors

Error reporting is useful when used interactively, but often undesirable
when used in scripts. Account for that with a common --quiet option,
which is more convenient than redirection stderr to /dev/null.

https://gitlab.gnome.org/GNOME/gnome-shell/issues/2391
13 files changed:
subprojects/extensions-tool/man/gnome-extensions.txt
subprojects/extensions-tool/src/command-create.c
subprojects/extensions-tool/src/command-disable.c
subprojects/extensions-tool/src/command-enable.c
subprojects/extensions-tool/src/command-info.c
subprojects/extensions-tool/src/command-install.c
subprojects/extensions-tool/src/command-list.c
subprojects/extensions-tool/src/command-pack.c
subprojects/extensions-tool/src/command-prefs.c
subprojects/extensions-tool/src/command-reset.c
subprojects/extensions-tool/src/command-uninstall.c
subprojects/extensions-tool/src/common.h
subprojects/extensions-tool/src/main.c